\relax 
\catcode`:\active
\catcode`;\active
\catcode`!\active
\catcode`?\active
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand\HyField@AuxAddToFields[1]{}
\select@language{french}
\@writefile{toc}{\select@language{french}}
\@writefile{lof}{\select@language{french}}
\@writefile{lot}{\select@language{french}}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}{section.1}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Sch\IeC {\'e}ma de la communication Client-Serveur}}{1}{figure.1}}
\newlabel{fig:schCS}{{1}{1}{Schéma de la communication Client-Serveur\relax }{figure.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Les canaux born\IeC {\'e}s}{2}{section.2}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Graphe de simulation exhaustive}}{2}{figure.2}}
\newlabel{fig:graph}{{2}{2}{Graphe de simulation exhaustive\relax }{figure.2}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Graphe de marque avec un tas}}{3}{figure.3}}
\newlabel{fig:petri}{{3}{3}{Graphe de marque avec un tas\relax }{figure.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Mod\IeC {\'e}lisation dans rom\IeC {\'e}o}{4}{section.3}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Mod\IeC {\'e}lisation du protocole avec Romeo}}{4}{figure.4}}
\newlabel{fig:resPetr}{{4}{4}{Modélisation du protocole avec Romeo\relax }{figure.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Sp\IeC {\'e}cification en logique temporelle}{5}{section.4}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Impl\IeC {\'e}mentation de AxB : Client-Serveur}{6}{section.5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Choix techniques}{6}{subsection.5.1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}IHM}{6}{subsection.5.2}}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces Fen\IeC {\^e}tre principal de l'application}}{7}{figure.5}}
\newlabel{fig:scrnMW}{{5}{7}{Fenêtre principal de l'application\relax }{figure.5}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces Fen\IeC {\^e}tre donnant une vue des actions c\IeC {\^o}t\IeC {\'e} serveur}}{8}{figure.6}}
\newlabel{fig:scrnAW}{{6}{8}{Fenêtre donnant une vue des actions côté serveur\relax }{figure.6}{}}
